Restarting automata and pre x-rewriting systems
نویسنده
چکیده
Jan car et al (1995) developed the restarting automaton as a formal model of certain syn-tactical aspects of natural languages. Here we mainly concentrate on the deterministic version of the restarting automaton and its variants, establishing some inclusion results for the class of Church-Rosser languages. In addition, it is shown that there is a close correspondence between various classes of restarting automata and certain classes of innnite preex-rewriting systems.
منابع مشابه
On Restarting Automata with Rewriting
Motivated by natural language analysis we introduce restarting automata with rewriting. They are acceptors on the one hand, and (special) regulated rewriting systems on the other hand. The computation of a restarting automaton proceeds in cycles: in each cycle, a bounded substring of the input word is rewritten by a shorter string, and the computation restarts on the arising shorter word. We sh...
متن کاملOn Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata
Abstract. This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS), which both are useful models in computational linguistics. For PCGS we study two complexity measures called generation complexity and distribution complexity, and we prove that a PCGS Π , for which the generation complexity and the distribution ...
متن کاملRestarting automata , Church - Rosser languages , and con uent
Restarting automata with rewriting, RW-automata for short, were introduced by Jan car, Mrr az, Pll atek, and Vogel (1997). Here we generalize the RW-automata by adding extra tape symbols. In this way we obtain new characterizations for the class CFL of context-free languages and the class CRL of Church-Rosser languages, thus gaining additional information on the exact relationship between these...
متن کاملThe degree of word-expansion of lexicalized RRWW-automata - A new measure for the degree of nondeterminism of (context-free) languages
Restarting automata can be seen as analytical variants of classical automata as well as of regulated rewriting systems. We study a measure for the degree of nondeterminism of (context-free) languages in terms of deterministic restarting automata that are (strongly) lexicalized. This measure is based on the number of auxiliary symbols (categories) ∗Some of the results have been announced at CIAA...
متن کاملOn PCGS and FRR-automata
This paper presents the second part of the technical report [7] in which the study of the relation between Parallel Communicating Grammar Systems (PCGS) and Freely Rewriting Restarting Automata (FRR) has been initiated. The rst part of [7] is presented in [6]. Here, the distribution and generation complexity for PCGS are introduced and studied. It is shown that analysis by reduction for PCGS wi...
متن کامل